$M$.frame($k$ affects $x$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$L$ != 1of(2of(2of(2of(2of(2of(2of($M$)))))))($x$) $\Rightarrow$ deq{-}member(KindDeq;$k$;$L$)